Data/hora: 16/05/2024 17:50:40

Biblioteca(s): | Embrapa Agrobiologia; Embrapa Agropecuária Oeste; Embrapa Algodão; Embrapa Amazônia Oriental; Embrapa Arroz e Feijão; Embrapa Cerrados; Embrapa Mandioca e Fruticultura; Embrapa Meio-Norte; Embrapa Roraima; Embrapa Soja; Embrapa Suínos e Aves; Embrapa Tabuleiros Costeiros; Embrapa Unidades Centrais.
Data corrente: | 29/09/1997
Data da última atualização: | 27/10/2006
Autoria: | HIGA, R. H.
Título: | Uso de prolog para executar especificações formais por traços.
Ano de publicação: | 1997
Fonte/Imprenta: | Campinas: EMBRAPA-CNPTIA, 1997.
Páginas: | 19 p.
Série: | (EMBRAPA-CNPTIA. Relatório Técnico, 1).
Idioma: | Português
Conteúdo: | A especificação formal de um módulo de software facilita a detecção e eliminação de ambigüidades, incompletudes e inconsistências, tornando sua descrição clara e precisa. O objetivo deste trabalho é apresentar a técnica de especificação formal de módulos de software por traços (Bartussek & Parnas, 1986) e mostrar como esta pode tornar-se executável em computadores, utilizando a linguagem de programação Prolog. Exemplos e um protótipo de ferramenta, em que tal processo poderia ser utilizado são apresentados e discutidos, bem como os passos a serem seguidos na seqüência deste trabalho.
Palavras-Chave: | Brasil; Computer; Engenharia de software; Engenharia de software formal specification; Engenharia de sofware; Engenharia do software; Especificação; Especificação formal; Especificação formal de software; Especificacao formal de sofware; Especificação por traços; Formal especification; Formal specification; Programa; Programme; PROLOC; Prolog; Software; software engineering; Sofware engineering; Trace; trace specification; Traces; Traço; Traços.
Thesagro: | Computador; Engenharia; Informática; Programa de Computador.
Thesaurus Nal: | computer science; computer software; engineering.
Categoria do assunto: | --
Registro original: | Embrapa Arroz e Feijão (CNPAF)

Exemplares:

CPAMN - (3371-1) - EMB - FL - -- - FOL 203/98 -  - 1998.00203 - DIS
AI-SEDE - (36273-1) - EMB - FL - -- - 09330 - CNPTIA - 09330 - DIS
AI-SEDE - (36273-2) - EMB - FL - -- - 09330 - CNPTIA - 09330a - DIS
CNPAF - (12964-1) - EMB - FL - -- - FOL 3076 -  - 1997.03076 - DIS
CPAO - (13892-1) - EMB - FL - PP - FOL 9774 -  - FOL 9774 - DIS
CNPA - (13307-1) - EMB - FL - -- - FL 1665 -  - 1999.0020 - DIS
CPATC - (6393-1) - EMB - FL - -- -  -  - FOL03657 - DIS
CPATU - (5453-1) - EMB - FL - PP - 01409 -  - 01409 - DIS
CNPSA - (7863-1) - EMB - FL - -- - 2655 -  - 1999.02655 - DIS
CNPSO - (16238-1) - EMB - FL - -- - 4724 -  - 4724 - DIS
CPAC - (13897-1) - EMB - FL - -- - FOL7032 -  - FOL7032 - DIS
CNPAB - (32417-1) - EMB - FL - -- - 004 -  - 0004173 - DIS
CNPMF - (7371-1) - ADD - FL - PP - F/04602 -  - 1997.04602 - DIS
CPAF-RR - (9936-1) - EMB - FL - -- - INFORMATICA - 002 -  - INFO - 002 - DIS